FOR IMMEDIATE DISTRIBUTION

Press contact:
Monika Claassen
Prover Technology
Phone direct: 650-696-3350
monika.claassen@prover.com

San Mateo, California, January 25, 2001 - Prover Technology, the leading provider of commercially packaged proof engines, today announced the opening of a new research and development center in Portland, Oregon, to better serve the company's customers in the Electronic Design Automation (EDA) and Computer Aided Software Engineering (CASE) markets.

The new office will be headed by Byron Cook, Senior Application Expert. Mr. Cook will drive the development and application of Prover Technology's advanced proof engines, initially focusing on verification issues related to EDA.

"Oregon is home to a number of influential companies that research, develop or use advanced verification technologies", said Byron Cook. "Prover Technology intends to be a major contributor to that community. With the establishment of our new R&D office, our existing and potential customers will have access to a local sales and engineering team, providing them with the highest level of service, both commercial and technical."

Byron Cook joined Prover Technology Inc, in December 2000. Mr. Cook has over the years worked with several key research and development laboratories in Oregon. Among those is Intel Corporation's Portland-based Strategic CAD Laboratories. A well respected industry lecturer in formal verification and modeling, Mr. Cook is completing his PhD in Computer Science from the Oregon Graduate Institute.

About Prover Plug-In

Prover Plug-In is the brand name for the industry's most powerful, commercially packaged proof engines. Prover Plug-In is used to automatically test hardware and software designs to 100%. EDA and CASE tool vendors as well as Fortune 500 companies customize and integrate Prover Plug-In into their system development environments. With the click of a button system engineers have access to fully automated verification, resulting in dramatic time and resource benefits. Prover Plug-In has quality APIs and is compatible with common industry standards.

About Prover Technology

Prover Technology is, with its product line Prover Plug-In, the leading provider of commercially packaged proof engines. Founded in 1989, Prover Technology is one of the industry's most experienced companies in the field of automated formal verification. Its investors include Intel Capital, London-based MVI, and The Swedish Industrial Development Fund. Prover Technology has direct sales offices in Sweden (HQ), France, and in the US. For more information, visit Prover Technology's web site at www.prover.com.